theorem-proving machine
[计] 定理证明机
热门查询
- dirty adj. 下流的，卑鄙的；肮脏的；恶劣的；暗淡的 vt. 弄脏 vi. 变脏
- initialization n. [计] 初始化；赋初值
- stiletto n. 匕首；小剑；细高跟女鞋
- inquisitive adj. 好奇的；好问的，爱打听的
- geomorphologist n. 地貌学家
- mustiness n. 陈腐；无力气；霉臭
- chocoholic n. 嗜食巧克力者
- plank n. [木] 厚木板；支架；政纲条款 vt. 在…上铺板；撂下；立刻付款 n. (Plank)人名；(英、俄、芬、德)普兰克
- belt n. 带；腰带；地带 vt. 用带子系住；用皮带抽打 vi. 猛击 n. (Belt)人名；(英、法、德、西)贝尔特
- retain vt. 保持；雇；记住
- Mitty n. (Mitty)人名；(英)米蒂 空想的 做白日梦者
- Joycean n. 乔伊斯专家；拥护或喜欢乔伊斯的人 adj. 乔伊斯的；乔伊斯作品的
- canvass n. 讨论；细查；劝诱 vt. 细究；彻底检查；向…拉票或拉生意 vi. 游说；拉选票
- dark n. 黑暗；夜；黄昏；模糊 adj. 黑暗的，深色的；模糊的；无知的；忧郁的 n. (Dark)人名；(英)达克
- illegality n. 违法；[法] 非法行为；犯规
- upwind n. 逆风 adj. 逆风的 adv. 逆风地
- venturi n. 文丘里管（一种流体流量测定装置，等于venturi tube） n. (Venturi)人名；(意)文图里
- contiguous adj. 连续的；邻近的；接触的
- stimulus n. 刺激；激励；刺激物
- Janis n. （女名）詹妮丝; [人名] 贾尼斯
考试词汇表
- bridge converter
- bridge corpuscle
- bridge data bank
- bridge deck slab
- bridge desmosome
- bridge equipment
- bridge extension
- bridge financing
- bridge formation
- bridge framework
- bridge in bridge
- bridge in danger
- bridge infection
- bridge initiator
- bridge isomerism
- bridge mechanics
- bridge migration
- bridge numbering
- bridge of boiler
- bridge operation
